منابع مشابه
Projectable Semantics for Statecharts
Statecharts is a language for the speciication of reactive systems. Semantics of Statecharts enforcing causality and synchronous hypothesis cannot be modular, and therefore do not allow general bottom-up construction of speciication and reuse of components. In this paper we propose both a global-consistent and a non global-consistent semantics which, in contrast to the known ones, are projectab...
متن کاملProjectable semantics for Statecharts 1
It has been proved that it is impossible to combine in one semantics for reactive systems the notions of modularity, causality and synchronous hypothesis. This limits bottom-up development of speciications. In this paper we introduce the notion of projectability, which is weaker than modularity, we deene a non global consistent semantics for Statecharts that enforces projectability, causality a...
متن کاملStream Semantics for Mini-Statecharts
Statecharts are well accepted in industrial applications for specifying reactive, embedded systems. Unfortunately, until now, a reference semantics has not been developed and therefore the semantics of Statecharts is still of interest in the science community. This paper presents a compositional, denotational semantics, based on stream processing functions, for a special subclass of Statecharts...
متن کاملRequirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adaptation of the Statemate statechart semantics, with local variables, real time, identifier addressing, point-to-point communication, synchronous commu...
متن کاملStatic Semantics and Priority Schemes for Statecharts*
A statechart i s an, extended f o r m of conventional f in i te .state machines f o r specifying reactive sys tems . Though, the graphical s yn tax of statecharts has been defined, there remain concepts tha t are still ambiguous o r need t o be improved. In this paper, we formal ly define static semant ics of statecharts. A n d we identify the types of nonde te rmin i sm in statecharts and give...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1998
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80255-5